$\forall$$A$:Type, $B$, ${\it eq}$, $g$:Top.  $\subseteq$ $g$